Fix version number, re-release as 1.4.0