theoradec: cosmetics: indentation