Code-checker fixes.