minor fixes.