Fixing another typo from d6dfe4706ba3ec3908d2354299c2891badaaed38