fixes #1372