Slightly nicer dx patching