extremely minor doc patch