Updates corresponding to revisions 1725 and 1726 in original repository