little changes in #4