Improve exposition finitely presented modules

Thanks to Keenan Kidwell
http://stacks.math.columbia.edu/tag/0517#comment-269