fixes #788