Thinking about it, I think having version specified is more explicit, so I'd like to push as-is.