fixup for 0.7.0