doffing one's hat to