fixes #716