Specify version number properly