Update comment for #10.