minor edit -> documentation fixes, sanity fixes