this fixes #353