Change filename extension in README example