Fixing a string glitch in certain PHP versions.

At least I think that was the reason for the error I experienced in
production.