Fix NEWS file, we are at 0.4.2 now