It's a known issue with the js code editor we're using and is something that we need to fix.

Thanks for the heads up!