this fixes #399