Fix comment; #738