Finite type submodule ---> finite submodule

Thanks to Charles
http://stacks.math.columbia.edu/tag/05CU#comment-818