fixes #1933