core: fix a doctest