we need these tests. Although they weren't perfectly expressed, we should fix them up to be representative of the implied test case.