update type safe seq in heroku instructions