more minor doc changes