Fix up versions, hopefully...