remove now-unnecessary include