and correct a typo that has been there for years...