Fixed bugs in manual.c