Fix version number printing