Bug fixing: fixing the --no-test-header flag processing