Super-minor doc fix