* minor changes to code style