Thank you for that, it will be fixed in the next update.
Does anyone know why developers removed the tooltips from "priority" buttons, in the galaxy map ? I've translated them, and I think they can be quite useful, to know what structures should be prioritized. In one glance, you would be able to see why you set such priority on such planet.