Document undocumented public items

Perhaps depending on #605.
Some indentation fixes here and there.