configure: fix bad indentation