Updating spreg: several minor bug and documentation fixes.