bug in test case, afaict

looks like the (4 4 0) possibility was omitted from the test case? I saw this fail.