fix compatibility with 0.13