Minor code style fix (no functional change).