Bug 875255 - fix lint error from bug 817912