fix spec to match typechecker