Fix version number stuff. Release 1.8-3.1.0-a7