Small cosmetic change: Removed semilcons
Across the whole site, there are no semilcons places after a label, here they are, no more
(cherry picked from commit b6e2407)