As with the other C++ file, this change can be omitted.