tidying: now version 1.13