Comment for #12794