Tests for issue #3