small tweak to pre_mg07 doctest