Add missing header removed in 5c47b06