some small changes

...