Thank you for the bug report (and the patch!) -- I will try to get this taken care of today or tomorrow.