Fixed minor error in manual