Address feedback in PR #8894 #8951

Merged
merged 1 commit into from May 19, 2017
Merged

Address feedback in PR #8894 #8951

merged 1 commit into from May 19, 2017