Fixing some syntax stuff