made some minor fixes