Minor non-functional change.