fix #59;