fix small syntax error in documentation