Fixed a bug in the JavaScript-specific settings.