yes, this line can be deleted in the shipped version.  If you're fine with this patch I'll delete it now.