Remove some typing errors