minor fixes #2