fixup! Fix an other bug