fixes #1243