this fixes #258