mir-rt: minor tweak in output