Minor updates to syntax doc.