Obsolete code removed.