model.py: temporary patch for earlier version than c0a0e1d