made some changes, date130712