resolved conflicts for merge of 583b7b16 to master

merged with "-s ours" since this change has already
been cherry-picked to master.