Updating: for releasing ATS2-contrib-0.0.7