Fix typing mistakes