Removed stray character, fixes #2642.