Doc: correction after review

the kraken is correctly killed but I could not make the trap stuff work
so I kill jormungandr and kraken manually