One more DOC fix