just minor fixes.