update version info and slightly revise the manual