should fix #87