CSPACE-6265: Just did a bit of cleanup by removing some debugging code.