Fixes bug where input function to ask for verifier was missing