Update to snapshot 20130512.