replace (wrong) overbar 'antischarm' with star 'antischarm'