see #407