Tests for issue #12