Remove duplicate include

Authored by yurchor on Feb 23 2020, 9:38 AM.