Fixed the names of two arrows.

My text editor automatically strips any trailing whitespace from the ends of lines, so that's where most of the "changes" came from.