fixes #730