Add test case for Issue #800

This isn’t failing in master but this is a useful test to prevent regressions.