diff --git a/Documentation/NuttxUserGuide.html b/Documentation/NuttxUserGuide.html
index 210c2e157a..eee7fce290 100644
--- a/Documentation/NuttxUserGuide.html
+++ b/Documentation/NuttxUserGuide.html
@@ -8236,12 +8236,11 @@ int asprintf (FAR char **ptr, FAR const char *fmt, ...);
int snprintf(FAR char *buf, size_t size, const char *format, ...);
int sscanf(const char *buf, const char *fmt, ...);
void perror(FAR const char *s);
-int avsprintf(FAR char **ptr, const char *fmt, va_list ap);
int vprintf(const char *s, va_list ap);
int vfprintf(FILE *stream, const char *s, va_list ap);
int vsprintf(char *buf, const char *s, va_list ap);
-int avsprintf(FAR char **ptr, const char *fmt, va_list ap);
+int vasprintf(FAR char **ptr, const char *fmt, va_list ap);
int vsnprintf(FAR char *buf, size_t size, const char *format, va_list ap);
int vsscanf(char *buf, const char *s, va_list ap);