Correct bug in parsing of option -skipchecks