Retab, revert to do notation from 7ab502