minor doc fixes