resolved conflicts for merge of e9febcc0 to master

Resolved with "-s ours" because this change has already
been cherry-picked to master.