minor fixes!