Modify version number in dev-manual