Should these lines be deleted?