Revert "Missing inclusion"

This reverts commit f6c4b6c7b7f01dd0685e03bc52ff8a15fe0aed1b.