#1174better documentation:  avoid monkeypatching twice