Removed obsolete pseudocode.