add some tests that show the problem, and the workaround