cosmetics: obsolete code removed