Fix tiny JS bug.