In builtins.c, there is: "getopts optstring name [arg]"
The "[arg]" should be replaced with "[arg ...]". In the same file there is: "exec [-cl] [-a name] [command [arguments ...]] [redirection ...]" The "arguments" should be replaced with "argument", since the "..." already says that there can be many.