(Coding Conventions): Minor fix.