Minor fixes in syntax and descriptions