small minor modifications