javascript: indentation