Fixing some typing errors