yes, see #3679