added missing functional header