Fixing a bad filename and publishing