Add test cases for issue #288

These pass so it seems that we can close #288.

Apparently the underlying issue was fixed by
commit beff15fe01593487275b9f10a6cb71af3fea0894.