Fix typo in manual (#139)