Removed - from ObjectiveChecker debug, adds more noise.