bump version number: 0.1.3