Get rid of unused \none macro