Pintab: remove outdated warning.