Remove syntax error due to new string syntax appearing in comments

The new string syntax means that the characters {n| cannot appear
anymore in a comment without the matching |n}. Inserting a space
solves the problem.