Minor fixes for v0.8 release