Yes, see #4292.