cosmetics: remove one unneeded space