Minor fix in configure script