Fix failing BMC test

Caused by me altering the default when merging Ewoud's PR. Sorry!