Fixes #1251