Fixes #1232