Added configuration from conf.ml; fresh symbol