a comment to that effect here would be useful.