Fixes #1015