Fix docs of executable script tiny