a few more minor modifcations