add docs about AllowSymbols to clarify issue #117.