made some trivial changes