configure: minor change