On computing the entropy of the Henon attractor