minor improvements in comments