Nochmal ein kleiner Fix fuer die Devel-Version...