configure: minor fix