Did this strictly conflict (i.e. cause problems) with our definition of this class? If not, would be good to leave it as it was, to avoid merge conflicts with upstream khan-exercises later.