Add test case that reproduces the problem described in issue #11.