Minor code style