add more tests, fix synopsis