Fixed some minor syntactical/verification errors,