You should use the line of code I provided. Probably you also have WP Super Cache enabled and you should purge all the caches so you can see that change.
In my editor it’s adding blank lines between each line of code(strange). But you already identified the code that I changed so that’s not relevant in your case.
Give it a try and let me know.
-Rui