small addition to addl-symbols