Thanks for playing! Yes, I know this bug, but unfortunately I didn’t have time to fix it :( The developers are not even allowed to upload mini patches :-(
