Fixes #1258