Updates for v0.12.5