Fix indentation after renaming terms