see #922