Fix minimal typo in comment