small cosmetical improvements