Add test for bug found by Christian Giovanelli