Fixing a tiny JS error