Don't leak diffing details into double_spec