Very tiny typo fix [ci skip]