Merge branch '1.7' into 1.8

(No change in 1.8 branch)