Fixes #730