documentary comments about syntax in a spec