There is now one test for issue #4