Add a proper version number