Fixing some syntax