might fix #3