Renaming from indentor to indenter.