Coding style: indentation seems off