Could you please review this ticket? I submitted it 8 days ago. (I already sent this message to the dev list, but got rejected since I'm not subscribed there, oh well…).