diff --git a/opcodes/txvu-dis.c b/opcodes/txvu-dis.c
index f3649e6bd8a..8383ed3cba7 100644
--- a/opcodes/txvu-dis.c
+++ b/opcodes/txvu-dis.c
@@ -55,7 +55,7 @@ print_insn_txvu (pc, info)
 
   /* FIXME: This will need revisiting.  */
   print_insn (pc, info, upper, 0);
-  (*func) (stream, " || ");
+  (*func) (stream, " | ");
   print_insn (pc, info, lower, 1);
 
   return 8;