Revert previous commit, made without ChangeLog entry.