fixes #1943