Fixed compile error in man.cpp