removed that first comment

it was spurious anyway...