Fixed compiling error in manual