minor fixes #10