Fix type-checker bug.