Setting version back to 0.8.0 (inadvertently increased).