Small bug in JavaScript.