Fix a minor doc issue