minor fixes.
