This line seems not to be needed any more.