Slightly updated the manual