Add a (failing) unit test for #412