this fixes #379