one more html-2-rst fix