Updated version number for 4.0

It wasn't right. :)