Minor include change, hopefully fixes prods issue with the editor