rephrase Remark 1.5.1 without counting, close #720