fixes #1251