Minor JavaScript addition