minor formatting tweaks
documentation fixes