this fixes #242