Another deletion.

Last deletion of old style, I hope.