fix bug in override resolution