small tweak to pre_mg07 doctest
merge from dev