Clarify proof equivalent notions proper continuous maps

Thanks to Hanno Becker
http://stacks.math.columbia.edu/tag/005M#comment-465