Updating: for releasing ATS2-0.1.2