Clarification, removal of redundancy, reality-conformance

More of the same, different file this time. 

I never remember what happens when you pull-request a branch that has already been merged.