Remove a duplicated include

It was inserted twice.

No functional change.