correct bad bug in configure