Style change: don't use virtual and override

Use virtual in declaring initial virtual function;
override when overriding it (but not both, because that's clutter)