fix #87.