fixes #1222