better message text in checklibs (texinfo)