small changes in code style