Minor fix of previous minor fix.