fix MANUAL.md, add test case