see #765