Proposed fix to printing function disassembly