Fix typo in configure options