The brand of this knife is called 'Dexter'. Does anyone else find this amusing?