fixes #807