Another minor doc bump