Make C++ happy