Removed obsolete syntax note comment.