Fix small errors in configure --help's output.