Some minor doc fixes