Fixes #1254