Minor change: added some comments