fixes doctest:test compilation errors introduced by 83d4707

review by @szeiger