ASL: update to 20140718.