Minor fix in the function law