fixes #1215