Add comment.
Merge commit '190e0a34cf5826912103617a276bea8c7a2a80e3' into fsharp_31
Fix code.