checking in some minor fixes