fixes #1938