Fixes #1237