typing fixes