Fix typo in configure script

Review 618 by @mlucy