this fixes #293