trivial change: some comments deleted