Fixes #1017.