Forgot -- we don't need the extension anymore.