Fix typo in earlier cl.texi change