Follow-up to #9408: Fixed ugly typo