minor fix in configure --help