@pcwalton
script: Fix merge fallout.
024c4df