Updates for 0.13