This is a nice addition, though I think the comment is wrong.