see #1919