Hotfix for v0.4.2.2
ditto