bugfix symbolic handling in display function