Simplify a definition for a constant; Fix a typo