buxton: edit configure.ac typo