minor change to the description of denotation.