Remarks on the symbolic dynamics for the Hénon map