fixes #1223