Reverting an edit introduced by mistake long ago