Fix proof coherent modules form abelian cat

Thanks to JuanPablo
http://stacks.math.columbia.edu/tag/01BY#comment-977