fix #144;