fixed doc in grcar
updated doc in hilbert