see #696