Fix another typing mishap in configure