fix #254