yes, see #3559