Minor tweak to mangelwurzel logs