[real-world uses] Fix stray character