modified openscop.texi to compile with texinfo 5.1