helwar.texi: Fix factual errors.