Problems with <userinput> inside <screen>

[Joachim Ziegler <ziegler@mpi-sb.mpg.de>]

Hello list,

I've got the following markup:

----------------------------
<screen>Computing sqrt(2).
Enter desired decimal accuracy (#digits after the decimal point):
<userinput>100</userinput>
Reaching a binary accuracy of 334 digits (after the decimal point) will
suffice.</screen>
-----------------------------

Note that there is no newline before the <userinput> start tag in my markup.

The XHTML I get by 1.69.0 is:

------------------------------
<pre class="screen">Computing sqrt(2).
Enter desired decimal accuracy (#digits after the decimal point):
<strong class="userinput">
               <code>10</code>
            </strong>
Reaching a binary accuracy of 34 digits (after the decimal point) will
suffice.</pre>
------------------------------

This not what I want because <userinput> is supposed to be formatted
inline. On the screen it looks like

----------------------------------
Computing sqrt(2).
Enter desired decimal accuracy (#digits after the decimal point):
               10

Reaching a binary accuracy of 34 digits (after the decimal point) will
suffice.
-----------------------------------

Note blank line after the "10".

What am I doing wrong?

Greetings,
Joachim