Fix creepy whitespace in user applet.js