addressing typo in comment pointed out by @iangilian