Update version to 1.2.4; update NEWS