Add (ignored) test case to reproduce issue #57