Revert "Missing include"

This reverts commit 73862412ee0bd059ca14bb7c9bce4cd93d1c583a.