Fix one Gruntz test to pass in master

This was caused by merging #2446, which passed all tests, but didn't pass tests
after the merge with updated master.