fix obsolete use of |$.