Minor fix for that last commit