Fix bug #730

Fix bug #730