Minor fix for previous submission.