mention #4039 in NEWS