Small fix in configure.ac