should fix #3