Fix a JS bug.