Minor fix follow-up to b73a578.