fix #257