fixes #1232