minor syntax revisions