reindentation version