Small typo caused a doctest to fail