fixed ambiguity in explanation of 'normal form'