Correcting things, and removing a debug output present in nonce by global instantiation...