* Minor fix to previous commit