(diff-reverse-direction): Simplify.