Bug 853424 - follow up; fix lint error