Doc fixes

`overriding` was good in this context but `redefining` is still ok