Bug #3406 - Fix lint issue