Version 0.8

I think we are at version 0.8.