Fixed some typing mistakes