Made the help messages emit POSIX-style command line notation.