At first I was wondering how this bug could be around, but then I realized no one uses this method.  Do we think it is still necessary to keep it?