Changes thanks to correction_bot

Thanks to correction_bot
http://stacks.math.columbia.edu/tag/01G6#comment-1025