Minor typo in comment