cosmetic change to fix clang++ compiler warning