fixes #1157