convert to a proper extension