Fix wrongly aligned symbol (tool abbreviation)