the following lines can probably be deleted.