Fix bug #730