update the development version to 1.3 #5