Little JavaScript fix.