A bit more on testing, bump version number