minor fix to the RTL translation pipeline