Minor update to syntax doc.