made some smaller cosmetical changes