Another minor fix for a newer version of clang