diff --git a/man2/ioctl_userfaultfd.2 b/man2/ioctl_userfaultfd.2
index 349592f13..4ea10db65 100644
--- a/man2/ioctl_userfaultfd.2
+++ b/man2/ioctl_userfaultfd.2
@@ -157,7 +157,7 @@ The API version requested in the
 field is not supported by this kernel, or the
 .I features
 field was not zero.
-.\" FIXME In the above error case, the returned 'uffdio_api' structure
+.\" FIXME In the above error case, the returned 'uffdio_api' structure is
 .\" zeroed out. Why is this done? This should be explained in the manual page.
 .\"
 .SS UFFDIO_REGISTER