this fixes #235