Fix bug #729