Fix error reporting id on VtUnknown commands
STM: fix printing of goals when on a tty interface