minor fixes ...