fix typing errors