fix version number in NEWS file too