Hi,

we will fix it but probably not in the next release. This is a really only minor cosmetic bug, not influencing the functionality.