fix manualTrump default