Bugfix for deploy-on-github profile.