updates for v0.13