Sorry, that's from #431 but I need it for the test case :)