Sorry - that was from memory. The "file name to write" step is there in case you want to write to another file name. In this case you don't, so you just hit Enter to save to the same file name. Then it's Ctrl-X to exit to the terminal before you enter any more commands.