Fix test due to new typechecker error