#430. Minor changes in comments.