fixes #880