Another out-dated reference (but in a comment).