Fix a bug uncovered by clang++.