Fixing minor syntactical issues