Fixed a small bug in javascript