BLUE PENCIL

noun

: any instrument (as a blue pencil) with which an editor makes deletions ; also : the act or an instance of deleting

the book is a good one; vigorous use of a blue pencil would have made it better — Keith Hutchison