Fix typo in comment related to #936