Test to reproduce #19