Minor: indentation