readme: update version number (should be 9.)