Correction to error in configure script