Minor change to keep Clang happy