this fixes #397