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