fixes #673