Minor aesthetic fix in comments