JK: Removed stray character.