terminal: fixed highlighting for terminal.md