Bug #3804 is actually closed (thanks to Jason Gross for the notification).