some minor fixes we noticed