more minor doc fixes