Fix some typing mistakes