made trivial change (to re-deploy to production, to switch Heroku stacks)