little bugfix in nonce correction routine