Remove a debugging printf that is no longer needed...