Add a simple test of the bug I am seeing