indentation, minor things