Fix some syntax