Logged In: YES
user_id=714452

Thanks for the patch! It is now applied at CVS