Removed a spurious non-ascii character.