fixes #1256