Mijn eerste reactie was dezelfde als die van puk1980, maar als deze bug nog in de RC zit dan is dat wel erg vreemd.
Maar een RC is nog geen finale versie en 13.5.1 is nog maar net uit, het lijkt voor de hand te liggen dat dit nog opgelost gaat worden voordat de finale versie op de servers staat (een bug opnieuw introduceren zou wel erg suf zijn).