Small fix in manual