Fix a typo in configure