Fix typo in comment; #983