Fixes for the new Term-System

We fixed some bugs which appeared with the latest commit of the main
project (e.g. the new MinecartTerm-System).