Tweaked minor things

Mostly docs and indentation