we missed something, namely to update the CHANGES file...