Fixed a clang compilation issue in master.cpp.