Minor changes to be more consistent with the JavaScript style.