fix #3