this fixes #375