very minor fixes