add missing include in DenseVector