fixes #708