A minor code style change.