Minor code style change.