fixes #1233