Minor fix to make the linter happy ...