documentation, etc tweaks
formatting tweaks