indentation corrections for convenient editing