Update leviathan.txt