fix doctest (which isn't really a doctest yet)