A few updates for 0.9