hopefully fixed issue#65