#83: test: successfully reproduces the bug