diff --git a/Documentation/NuttxUserGuide.html b/Documentation/NuttxUserGuide.html
index c2d65d00d13..8eecc9052b2 100644
--- a/Documentation/NuttxUserGuide.html
+++ b/Documentation/NuttxUserGuide.html
@@ -8089,7 +8089,6 @@ FAR FILE *fdopen(int fd, FAR const char *type);
 int    dprintf(int fd, FAR const char *fmt, ...);
 int    vdprintf(int fd, FAR const char *fmt, va_list ap);
 
-int    statfs(FAR const char *path, FAR struct statfs *buf);
 FAR char *tmpnam(FAR char *s);
 FAR char *tempnam(FAR const char *dir, FAR const char *pfx);
 
@@ -8102,8 +8101,8 @@ int fstat(int fd, FAR struct stat *buf);
 
 #include <sys/statfs.h>
 
-int statfs(const char *path, struct statfs *buf);
-int fstatfs(int fd, struct statfs *buf);
+int statfs(FAR const char *path, FAR struct statfs *buf);
+int fstatfs(int fd, FAR struct statfs *buf);
 </pre></ul>
 
 <h3><a name="standardlib">2.10.6 Standard Library</a></h3>
diff --git a/configs/samv71-xult/README.txt b/configs/samv71-xult/README.txt
index 8dd900dd52e..adb29a703b8 100644
--- a/configs/samv71-xult/README.txt
+++ b/configs/samv71-xult/README.txt
@@ -60,7 +60,7 @@ See the Atmel website for further information about this board:
 tatus/Open Issues
 =================
 
-I would characterize the general port as very mature and reliable.  However,
+I would characterize the general port as very mature and stable.  However,
 there are a number of issues, caveats, and unfinished drivers as detailed in
 the following paragraphs.