Minor fix to be consistent with the code convention