Small fix to JS indentation