added a real version number