manual: fix attribute ebnf