tiny unimportant comment correction