Again just style: if this code is obsolete, and does not serve as documentation for existing code, please just remove it.