add Jochen's corrections