Minor fix in the syntax of statements