weiter shorten #Pippin till 0.5