minor changes really. just to cooperate easier with c++ frontend