small syntax error in doc