Add detail to proof RF is defined on direct summands

Thanks to Nuno Cardoso pointing out the proof was incomplete
http://stacks.math.columbia.edu/tag/05SD#comment-524