fixes #1143