Minor code style issue