a few trivial changes