Two small fixes to wl.texi to make it compile with makeinfo

These fixes are necessary for `makeinfo` to properly work with `wl.texi`.