documentation and syntax update