see #1056