some minor doc fixes