Minor: style change.