Update for 0.8.0-alpha.3