Fix minor nits in configure.ac