Fixes #1215.