Fixed comments from #902.