minor indentation and coding style