slight renaming in override.rb