just a few corrections to docs and indentation