to make things like phpstorm happy, we should write this line as `@return BanInterface $this`