Jul 1st: Started corrections from referee