Reindenting to Workbench's whims.