TEST: Regression test that catches bug from issue #7