Merge pull request #35 from ktdreyer/texinfo51