Minor code style edit