proper extension