More documentation of syntax