it is not a critical issue but it would be better
Thanks for reporting this @user12! We’ll work on getting it fixed.