Tweaks to why-xray