very minor fix

	modified:   tool_checker2.cgi