Update manual.cpp