updating definitions for signature checking example