Several minor doc fixes