Some minor doc changes