minors fixes #5