micro change to code style