minors fixes.