fixed a type on the manual