Add a test that reproduces the bug