Small bugs in program (judge_collector.cpp) and docs.