Quick sanity-test for #455