Added a comment to that effect.