Minor cleanup from previous change.