Minor fix: syntax