Errors in MaxWalkSat fixed