Fix typo in configure script

Review 760 by @tryneus