Fix accidental deletion by bot.