minor tweak and doc formatting concession