this fixes #213