bugfix for `override` keyword