Some C++ prettifying