replace TBD with PR number (and retrigger Travis)