fixes #823