see #254