Merge commit 'ca084e88' into manualmerge

Doing a "merge -s ours" since the changes are already in master.

Change-Id: Id8cf832d5f2d30ec880d91c0392a53d5fcfe54f3