Fix up prompt_p4