fixes #820