Improve statement and clarify proof of lemma in coherent.tex

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