small minor fixes