see #741