fixes #1263