configure.in: Fix a typo.