Cosmetical changes

nothing really urgent.