Changes between #752 and #757

No changes in any of the builds.