bugfix and cleanup: ei_s_print_term allocates memory himself