org.texi: Minor correction.