new version number 0.13