Fix highlighting of cat command [Fix #1225]