I forgot to check that the new behavior tests also pass in stage1. One of them does not. Fixes regression from 4618c41fa6ca70f06c7e65762d2f38d57b00818c.