just minor fixes