Add a comment for #1035