Minor change to JavaScript