Kleine Korrekturen

ist mir gerade aufgefallen. Du checkst den source nicht mehr ein, oder?