#5: change corresponding comment to reflect file name