Typesetted some prompts.