this seems to fix #55