My Texinfo is the Ubuntu standard, 6.1.0. I have no idea what texinfo.tex it distributes, but presumably it is old, and if you get the current texinfo.tex, it will work. (If you double the \ in \\topsep.) It did for me. Distributions are even worse about updating texinfo.tex than TeX ... -k