* mu-guile.texi: minor change; may fix compilation