Jormungandr: fix a bug fix made too fast

It has to be merge in release as a hotfix.