small syntax fix in documentation