minor doc comment correction