Restored accidentally removed comment.