fix missing include that wasn't being used for anything