Thanks a lot! And yes, that is a known bug: on some devices, sometimes, you suddenly turn twice. It has frustrated me for days, but I just cannot find the source of the issue. Hopefully one day soon I will solve it :)