Test for issue #4