test for issue #7 which was fixed already.