Small fix (no functional change)