insignificant typo on line 73 comment