Fix a minor issue found by clang
(cherry picked from commit f80b646bc5584a6932d623976e0c0a0411230fb1)