pushing minor fixes