Logged In: YES
user_id=25678

Bug is fixed: the current CVS version no longer has this
problem.