fixes in code style