Fix #145: box/bad_trigger test fails