Add "over" and some cosmetic changes

Thanks to Fred Rohrer
http://stacks.math.columbia.edu/tag/00LP#comment-139