Deleted unused (obsolete) code.