Fixup for 16328dd85bd7fdeadb14862ec1959e1dec7ad2fd, added missing include