doc-empty-symbol.json:4:1: invalid name