fixes #714