see #493