Minor improvement in comments