minor fix in syntax