Redo version numbers