Another available printed transcription adds wa-l-ḥalq aw al-taqṣīr (“shaving or trimming”) at the end of the definition.
This additional wording has not been silently inserted into the quoted scanned edition.
For practical performance, shaving or trimming belongs to the Hanafi discussion of completing release from ihram.