lint fix
Merge pull request #10085 from michalbe/Bug838114

Bug 838114 follow up - lint fix