Remove unnecessary `#include'