more minor doc touch-up; some wikipedia hate