fix typo in configure options