fixes #837