Added missing functional header