Small change to prompt_jakob_setup.