Another doclint issue ...