fixed a (probably innocuous) js error