Changed version number to be "0.8.0" rather than "0.80"