Fixing documentation for glpk configuration.