v2.13.1

Minor bugfix for deployment pipeline