Tweaks to annotated disassembly display