rephrase Remark 1.5.1 without counting, close #720
Merge pull request #721 from mikeshulman/remark1.5.1

rephrase Remark 1.5.1 without counting, close #720