update to 20130712