Minor fix to the code.