Bug fix in doc